Философский энциклопедический словарь - разрешения (разрешимости) проблема
Связанные словари
Разрешения (разрешимости) проблема
разрешения (разрешимости) проблема
— одна из осн. проблем, встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории связано соответственно с существованием или несуществованием нек-рого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли произвольная формула рассматриваемой теории доказуемой (истинной) в данной системе. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для к.-л. формальной теории общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой теории.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2503 | |
2 | 2321 | |
3 | 1990 | |
4 | 1976 | |
5 | 1922 | |
6 | 1828 | |
7 | 1723 | |
8 | 1659 | |
9 | 1640 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1380 | |
14 | 1379 | |
15 | 1250 | |
16 | 1072 | |
17 | 1062 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |